<html>
<body>
Persistant backend to store preferences. Uses the JDK preferences API as
backend. @see java.util.prefs.Preferences
</body>
</html>
